|
|
1.
基于约束优化的Petri网可达性分析
杨夏妮 龙法宁 张远夏
计算机应用
2013, 33 (04):
1128-1131.
DOI: 10.3724/SP.J.1087.2013.01128
Petri网的可达性判定问题是进行Petri网分析的基础。通过分析目前求解Petri网可达问题的判定方法和基于约束程序的Petri网可达问题判定方法，提出一种基于约束优化的Petri网可达问题判定方法，该方法是在状态方程法的基础上，利用约束程序寻求可行解，再利用优化求最优解，从而减少问题搜索的分支，达到减少状态方程的解空间的目的。最后通过实例的求解验证算法能够提高判定效率。
参考文献 |
相关文章 |
多维度评价
|
|
